On the Integration of Learning, Logical Deduction and Probabilistic inductive Inference
ثبت نشده
چکیده
• The search method in SP6 is only sensitive to patterns made up of contiguous groupings of symbols. In future versions of the SP system we aim to develop search methods which can detect fragmented or 'discontinuous' patterns. This is needed mainly for applications in natural language processing. • The SP variable should unify with zero or more other objects rather than just one as is the case in SP6. The number of such objects in any one context should be governed by the search for efficiency rather than being set to an arbitrary value. • At some stage, a negation operator should be added to the system as described earlier. 9 ACKNOWLEDGEMENT I am grateful to Paul Mather for assistance in developing the SP6 model and discussions of the ideas.
منابع مشابه
Generalized Logical Consequence: Making Room for Induction in the Logic of Science
We present a framework that provides a logic for science by generalizing the notion of logical (Tarskian) consequence. This framework will introduce hierarchies of logical consequences, the first level of each of which is identified with deduction. We argue for identification of the second level of the hierarchies with inductive inference. The notion of induction presented here has some resonan...
متن کاملHow Might Probabilistic Reasoning Emerge from the Brain?
A series of hypotheses is proposed, connecting neural structures and dynamics with the formal structures and processes of probabilistic logic. First, a hypothetical connection is proposed between Hebbian learning in the brain and the operation of probabilistic term logic deduction. It is argued that neural assemblies could serve the role of logical terms; synapse-bundles joining neural assembli...
متن کاملAnytime Deduction for Probabilistic Logic
This paper proposes and investigates an approach to deduction in probabilistic logic, using as its medium a language that generalizes the propositional version of Nilsson's probabilistic logic by incorporating conditional probabilities. Unlike many other approaches to deduction in probabilistic logic, this approach is based on inference rules and therefore can produce proofs to explain how conc...
متن کاملLearning in Logic with RichProlog
Deduction and induction are unified on the basis of a generalized notion of logical consequence, having classical first-order logic as a particular case. RichProlog is a natural extension of Prolog rooted in this generalized logic, in the same way as Prolog is rooted in classical logic. Prolog can answer Σ1 queries as a side effect of a deductive inference. RichProlog can answer Σ1 queries, Π1 ...
متن کاملBayesian inference for statistical abduction using Markov chain Monte Carlo
Abduction is one of the basic logical inferences (deduction, induction and abduction) and derives the best explanations for our observation. Statistical abduction attempts to define a probability distribution over explanations and to evaluate them by their probabilities. The framework of statistical abduction is general since many well-known probabilistic models, i.e., BNs, HMMs and PCFGs, are ...
متن کامل